翻訳と辞書 Words near each other ・ video graphics array ・ video memory ・ video on demand ・ video ram ・ video random-access memory ・ video terminal ・ videotex ・ vienna definition language ・ vienna definition method ・ vienna development method ・ vienna development method specification language ・ vienna fortran ・ vietnamese ・ viewer ・ viewpoints ・ views ・ vif ・ vim ・ vincennes lisp ・ vine technology Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Vienna Development Method Specification Language ： FOLDOC Vienna Development Method Specification Language (VDM-SL, Meta-IV) A model-oriented {specification language}, upon which the Vienna Development Method is based. An ISO draft was released in April 1993. Version: BSI/VDM. {(ftp://gateway.dec.com/pub/vdmsl_standard)}. ["The Vienna Development Method: The Meta-Language", D. Bjorner et al eds, LNCS 61, Springer 1978]. ["The VDM-SL Reference Guide", J. Dawes, Pitman 1991]. ["Systematic Software Development Using VDM", C.B. Jones, P-H 1989]. (2000-11-02) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.